\newcommand{\Is}{\Iden}
\newcommand{\Iden}{\mathop{\equiv}}

\newcommand{\True}{\textbf{true}}
\newcommand{\False}{\textbf{false}}
\newcommand{\Chaos}{\textbf{chaos}}

\newcommand{\Neg}{\sim}
\newcommand{\Not}{\Neg}
\newcommand{\Or}{\vee}
\newcommand{\And}{\wedge}
\newcommand{\Impl}{\mathop{\Rightarrow}}
\newcommand{\NEq}{\neq}

\newcommand{\Power}{\uparrow}
\newcommand{\Abs}{\mathop{\textbf{abs}}}
\newcommand{\Intoperation}{\mathop{\textbf{int}}}
\newcommand{\Realoperation}{\mathop{\textbf{real}}}

\newcommand{\Case}{~\textbf{case}~}
\newcommand{\Of}{~\textbf{of}~}
\newcommand{\If}{~\textbf{if}~}
\newcommand{\Then}{~\textbf{then}~}
\newcommand{\Else}{~\textbf{else}~}
\newcommand{\End}{~\textbf{end}~}
\newcommand{\Let}{~\textbf{let}~}
\newcommand{\In}{~\textbf{in}~}
\newcommand{\LinIf}[3]{\If #1 \Then #2 \Else #3 \End}

\newcommand{\Nat}{\textbf{Nat}}
\newcommand{\Int}{\textbf{Int}}
\newcommand{\Real}{\textbf{Real}}
\newcommand{\Bool}{\textbf{Bool}}
\newcommand{\Unit}{\textbf{Unit}}
\newcommand{\Char}{\textbf{Char}}
\newcommand{\Text}{\textbf{Text}}

\newcommand{\All}{\mathop{\forall}}
\newcommand{\Exists}{\mathop{\exists}}
\newcommand{\ExistsOne}{\mathop{\exists!}}

\newcommand{\SuchAs}{\mathop{\bullet}}

\newcommand{\Fn}{\rightarrow}
\newcommand{\NonDetermFn}{\widetilde{\rightarrow}}
\newcommand{\DP}{\mathop{\times}}

\newcommand{\Type}{\textbf{type}}
\newcommand{\Value}{\textbf{value}}
\newcommand{\Axiom}{\mathop{\textbf{axiom}}}
\newcommand{\Variable}{\mathop{\textbf{variable}}}

\newcommand{\Card}{\mathop{\textbf{card}}}
\newcommand{\Isin}{\in}
\newcommand{\NotIsin}{\notin}
\newcommand{\Union}{\mathop{\cup}}
\newcommand{\Inter}{\mathop{\cap}}
\newcommand{\Minus}{\mathop{\setminus}}
\newcommand{\SetL}{\subset}
\newcommand{\SetG}{\supset}
\newcommand{\SetLE}{\subseteq}
\newcommand{\SetGE}{\supseteq}


\newcommand{\Len}{\mathop{\textbf{len}}}
\newcommand{\Hd}{\mathop{\textbf{hd}}}
\newcommand{\Tl}{\mathop{\textbf{tl}}}
\newcommand{\Elems}{\mathop{\textbf{elems}}}
\newcommand{\Inds}{\mathop{\textbf{inds}}}
\newcommand{\Concat}{\mathop{{ }^\wedge}}

\newcommand{\Map}{~\mathop{\longrightarrow}\limits_{m}~}
\newcommand{\NonDeterMap}{~\widetilde{\Map}~}
\newcommand{\Dom}{\mathop{\textbf{dom}}}
\newcommand{\Rng}{\mathop{\textbf{rng}}}
\newcommand{\Upd}{\mathop{\dag}}
\newcommand{\Superp}{\mathop{\circ}}


\newcommand{\Nd}{\mathop{\lceil\!\rceil}}%\,\,}}
\newcommand{\Ilock}{\mathop{\nparallel}}%\,\,}
\newcommand{\Exc}{\mathop{[\!]}}%\,\,}}
\newcommand{\Stop}{\mathop{\textbf{stop}}}
\newcommand{\Skip}{\mathop{\textbf{skip}}}
\newcommand{\Swap}{\mathop{\textbf{swap}}}

\newcommand{\map}[2]{[#1 | #2]}
% +> is \mapsto

\newcommand{\Post}{\mathop{\textbf{post}}}
\newcommand{\Pre}{\mathop{\textbf{pre}}}
\newcommand{\As}{\mathop{\textbf{as}}}

\newcommand{\LL}{\langle}
\newcommand{\LR}{\rangle}


\newcommand{\Scheme}{\mathop{\textbf{scheme}}}
\newcommand{\Class}{\mathop{\textbf{class}}}

\newcommand{\Set}{\textbf{-set}}
\newcommand{\Infset}{\textbf{-infset}}

\newcommand{\List}{^{\star}}
\newcommand{\Inflist}{^{\omega}}
